settings Deprecate properties
authorBenjamin Otte <otte@redhat.com>
Wed, 26 Jun 2013 13:04:24 +0000 (15:04 +0200)
committerBenjamin Otte <otte@redhat.com>
Wed, 26 Jun 2013 13:51:31 +0000 (15:51 +0200)
commit7bd7bcec0d70cf644f1d9efece8f4864859517f4
treeaa988d697cd0417d240498f50c16a9fe173e25c8
parent5b7b86c231eff1ed170721361d509ccc8fe12699
settings Deprecate properties

Deprecate the properties that were brought back from the dead in the
last patch.
gtk/gtksettings.c